Nuprl Definition : reject
2,24
postcript
pdf
as
\[
i
] == if
i
0
tl(
as
) else Case of
as
; nil
nil ;
a'
.
as'
, rec:
a'
.
as'
\[
i
-1] fi
(recursive)
latex
Definitions
Y
,
if
b
t
else
f
fi
,
i
j
,
tl(
l
)
FDL editor aliases
reject
origin
0
tl(as) else Case of as; nil nil ; a'.as', rec: a'.as'\[i-1] fi
0 tl(as) else Case of as; nil nil ; a'.as', rec: a'.as'\[i-1] fi
t else f fij